Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « M. Rusinowitch »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
M. Roux < M. Rusinowitch < M. Ruth Pazos  Facettes :

List of bibliographic references indexed by M. Rusinowitch

Number of relevant bibliographic references: 53.
[20-40] [0 - 20][0 - 50][40-52][40-60]
Ident.Authors (with country if any)Title
00D467 (1992) J. Hsiang ; H. Kirchner ; Pierre Lescanne [France] ; M. RusinowitchThe Term Rewriting Approach to Automated Theorem Proving
00D485 (1992) A. Bouhoula ; E. Kounalis ; M. RusinowitchAutomated Mathematical Induction with Test Sets
00D813 (1991) E. Kounalis ; M. RusinowitchOn Word Problems in Horn Theories
00D814 (1991) B. El Ayeb ; P. Marquis ; M. RusinowitchPreferring Diagnoses by Adduction
00D860 (1991) P. Narendran ; M. RusinowitchAny Ground Associative-commutative Theory has a Finite Canonical System
00D861 (1991) J. Hsiang ; M. RusinowitchProving Refutational Completeness of Theorem-Proving Strategies : The Transfinite Semantic Tree Method
00D918 (1991) M. RusinowitchTheorem-proving with Resolution and Superposition
00D920 (1991) E. Kounalis ; M. RusinowitchAutomatic Proof Methods for Algebraic Specifications
00D937 (1991) E. Kounalis ; M. RusinowitchStudies on the Ground Convergence Property of Conditional Theories
00D938 (1991) P. Narendran ; M. RusinowitchThe Unifiability Problem in Ground AC Theories
00DA84 (1991) M. Rusinowitch [France] ; L. Vigneron [France]Automated deduction with associative commutative operators
00DA98 (1991) M. Rusinowitch [France]Theorem-proving with resolution and superposition
00DB70 (1990) B. El Ayeb ; P. Marquis ; M. RusinowitchDeductive/Abductive Diagnosis : The DA-Principles
00DB97 (1990) E. Kounalis ; M. RusinowitchA Mechanization of Conditional Reasoning
00DC11 (1990) E. Monfroy ; M. Rusinowitch ; R. SchottSpécification opérationnelle des contraintes géométriques
00DC39 (1990) E. Kounalis ; M. RusinowitchA Proof System for Conditional Specification
00DC52 (1990) C. Kirchner ; H. Kirchner ; M. RusinowitchDeduction with Symbolic Constraints
00DC61 (1990) B. El Ayeb ; P. Marquis ; M. RusinowitchA New Diagnosis Approach by Deduction and Abduction
00DC65 (1990) E. Kounalis ; M. RusinowitchMechanizing Inductive Reasoning
00DC89 (1990) E. Kounalis ; M. RusinowitchA Logical Basis for Learning in Robots Worlds
00DD12 (1990) E. Kounalis ; M. RusinowitchDiscovering New Facts for First-Order Knowledge-Based Systems

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "M. Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "M. Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    M. Rusinowitch
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022